1. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
Author: Eduardo Gimenez, Christine Paulin-Mohring )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1512
